Formal Methods For SOC – alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Formal Methods for SOC" finden. Könnten diese Produkte zu Ihrer Suche passen?

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

sofort lieferbar

Buch

EUR 63,51* Aktueller Preis: EUR 63,51

Artikel merken

In den Warenkorb

Menge ändern

Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui

Formal Methods for the Analysis of Biomedical Ontologies

This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies. The authors take a pragmatic approach focused on generating…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 58,66* Aktueller Preis: EUR 58,66

Artikel merken

In den Warenkorb

Menge ändern